dynamic logic中文是什么意思

发音:

中文翻译
造句

动力逻辑
动态逻辑

dynamic adj. 1.动力的，动力学的；力学(上)的；动(态)的 ...
logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
dynamic asynchronous logic circuit 动态异步逻辑电路
dynamic cmos logic 动态cmos互补金属氧化物半导体逻辑
dynamic logic circuit 动态逻辑电路
dynamic logic ltd 动态逻辑电路公司
first-order dynamic logic 一阶动态逻辑
nonstandard dynamic logic 非标准动态逻辑
dalc dynamic asynchronous logic circuit 动态异步逻辑电路
four phase dynamic logic circuit 四相动态逻辑电路
four-phase dynamic logic circuit 四相动态逻辑电路
-logic -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
and logic “与”逻辑
logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
logic-and 逻辑“与”
or logic 或逻辑
dynamic adj. 1.动力的，动力学的；力学(上)的；动(态)的；起动的。 2.有力的，有生气的；能动的；(工作)效率高的。 3.【音乐】力度；强弱法的。 4.【医学】机能(上)的。 5.【哲学】动力论的，力本论的。 a dynamic personality 活跃的性格。 a dynamic atmosphere 生气勃勃的景象。 a dynamic population 动态人口。 n. 〔限指 dynamic〕 (原)动力；动态。 adv. -ally
dynamic brake (dynamic braking) 动力煞车，动力制轫
active logic 有源逻辑
actuating logic 执行逻辑
adaptive logic 适应性逻辑（电脑）; 自适应逻辑
affective logic 情感逻辑
algebra and logic 代数与逻辑
algebra of logic 逻辑代数
algebraic logic 代数逻辑

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

A multi - action commitments approach based on dynamic logic
基于动态逻辑的多动作承诺机制
In dynamic content generation technology , content and logic are combined : in every page there is a mix of static content and dynamic logic that work together to create the final result , usually using run - time or time - dependent input
在动态内容生成技术中，内容和程序逻辑是混在一起的：在每一个页面，需要混合静态内容和动态逻辑一起工作最终生成终端结果，通常要利用运行时或者时间相关的输入。
By describing the static physical structure and the dynamic logic relationship , this paper explains network resources model and introduces in detail the design of the important components : the resources model management component and resources object management component
然后,通过对静态物理结构的描述和动态逻辑关系的描述,详细说明了网络资源模型;并详细介绍了作为子系统重要组成部分的资源模型管理模块和资源对象管理模块的设计。
This paper presents the conversion from dynamic logic gate to markov chain , the solution of dynamic subtree top event failure probability and the method of obtaining the failure mode of subsystem using markov model , that is sequence cutsets of the dynamic subtree . the typical approach to importance analysis of component is impractical for large systems in markov model , so this paper also provides a simple and intuitionistic graph solution based on markov chain
论文研究了动态逻辑门向马尔可夫链的转化方法，利用马尔可夫链法求解动态子树顶事件概率，以及通过马尔可夫状态转移图直接找出子系统的故障模式和薄弱环节，即得到动态子树的顺序割集。